含有文字序逻辑程序的一种辩论语义

有序逻辑程序的语义研究是常识推理的重要研究内容。文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是Sakama回答集的特例,而优先扩充语义可以处理没有回答集的优先逻辑程序。     

美国自适应发动机研究的进展与启示

为借鉴和参考美国自适应循环发动机的研究与研制经验,综述了美国变循环发动机演变至自适应发动机的3个发展阶段,重点介绍了其在多用途经济可承受的先进涡轮发动机(VAATE)研究计划下的自适应通用发动机技术(ADVENT)分计划、自适应发动机技术验证(AETD)分计划、自适应发动机过渡(AETP)分计划和空中优势自适应推进技术(ADAPT)分计划的开发与验证情况。分析总结出美国自适应发动机具有以下特点:技术先进且应用前景广泛,代表未来发展方向;变循环与自适应循环技术均不成熟,还需深入验证;技术研究采用竞争策略实施。     

Locally generalised multi-agent reinforcement learning for demand and capacity balancing with customised neural networks

Reinforcement Learning (RL) techniques are being studied to solve the Demand and Capacity Balancing (DCB) problems to fully exploit their computational performance. A locally generalised Multi-Agent Reinforcement Learning (MARL) for real-world DCB problems is proposed. The proposed method can deploy trained agents directly to unseen scenarios in a specific Air Traffic Flow Management (ATFM) region to quickly obtain a satisfactory solution. In this method, agents of all flights in a scenario form a multi-agent decision-making system based on partial observation. The trained agent with the customised neural network can be deployed directly on the corresponding flight, allowing it to solve the DCB problem jointly. A cooperation coefficient is introduced in the reward function, which is used to adjust the agent’s cooperation preference in a multi-agent system, thereby controlling the distribution of flight delay time allocation. A multi-iteration mechanism is designed for the DCB decision-making framework to deal with problems arising from non-stationarity in MARL and to ensure that all hotspots are eliminated. Experiments based on large-scale high-complexity real-world scenarios are conducted to verify the effectiveness and efficiency of the method. From a statistical point of view, it is proven that the proposed method is generalised within the scope of the flights and sectors of interest, and its optimisation performance outperforms the standard computer-assisted slot allocation and state-of-the-art RL-based DCB methods. The sensitivity analysis preliminarily reveals the effect of the cooperation coefficient on delay time allocation.     

基于项目管理视角的飞机客户化实践

飞机客户化是指对航空公司等客户订购的飞机产品进行构型选择和定义的过程，这需要对飞机客户化的范围和内容、定义载体、工作计划、人员职责、最终交付物、以及潜在的构型变更和风险等进行规划和管控，通过高效的业务流和优良的组织体系进行保障，以提高客户飞机的交付效率，降低延误和计划外成本的风险。因而高效率的客户化过程管控对制造商和客户都非常重要，其可以按照买卖双方约定的交付计划，有节奏的对设计、更改、生产、取证、供应链和库存进行合理安排，确保买卖双方按期保质履行商务合约。通过对飞机客户化要素的分析并结合项目管理的理论和经验，有针对性地论述了国产飞机制造商客户化项目管理的一些实践，以期为促进我国商用飞机产业成功发展提供一些建议。     

400 kW空间堆布雷顿循环系统运行特性分析

针对百千瓦级大功率航天任务需求,基于Simulink平台开展空间核反应堆直接布雷顿循环系统特性分析研究。根据直接布雷顿循环反应堆系统设计方案,通过对系统中各个关键设备的模块化建模,开发反应堆系统一维系统分析程序,实现了反应堆系统稳态及动态响应特性分析。重点分析了稳态特性、阶跃引入反应性、反应堆升功率和持续步进引入反应性等瞬态工况下的动态特性。相关模拟结果能够为未来大功率空间反应堆运行及安全特性分析提供支撑。     

面向一体化测试与运管的航天器指令技术研究

现有的航天器测试与运管程序通过word文档采用自然语言的方式进行描述，需要人工录入、集成、整合和校验，既浪费人力、时间，又容易因人为原因出错，不利于测试与运管程序在多用户间的快速交互，且存在安全隐患。针对该问题，借鉴NASA及ESA的PLEXIL、PLUTO、Timeliner-TLX、SCL等航天器指令设计经验，研究了面向航天器地面测试与在轨运管的航天器指令技术，该指令架构具备层次化、模块化、抽象化等高级程序特点，且具备对航天器进行工作过程监测与异常状态处置能力，便于航天器测试与运管程序的人机交互、数字化设计、交换共享与解译执行，可作为国内航天器测试与运管程序一体化设计的技术参考。     

军用飞机维修大纲修订流程研究

本文首先论述了维修大纲修订的必要性和实际状况,接着介绍了B777、Y8和某型军机的维修大纲修订情况,以及波音的维修大纲修订实施程序,最后重点阐述了如何从实际情况出发,并借鉴波音的经验,建立一套适用于我国军用飞机维修大纲修订工作的实施流程,以有效地指导该项工作,提高军用飞机的可用度,降低维修成本。